package joc.nextgen.dbi;

import joc.contract.Pure;

@JOCContract(StackSpecContract.class)
public interface StackSpec<T> {
	@Pure
	int size();

	void pop();

	@Pure
	T top();

	void push(T elem);

	@Pure
	T get(int i);

	@Pure
	boolean isEmpty();

	@Pure
	boolean isFull();
}